Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2012/13)

Search: ^p

Education/MFES1213 Web Changed Changed by
Programa 02 Oct 2012 - 15:10 - r2 AlcinoCunha
Módulos A UCE consta dos módulos CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
ProjectoIntegrado 08 Jun 2013 - 11:33 - r17 JoseNunoOliveira
Projecto Integrado (Cohesive Project) Interesting and useful slides for preparing the milestones: http://research.microsoft.com/en us/um/people/simonpj/papers ...
PropostasTese 28 Jun 2013 - 14:59 - r7 JoseNunoOliveira
MSc theses proposals For more details about any of these proposals please contact its proponent: (1) Enforcing model consistency with minimal repairs (Alcino Cunha ...
Found 3 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM